existential quantification造句

• The difference between the two formulations is the difference between a universal and existential quantification
  这两种限制形式间的不同就是全称量词与存在量词间的不同。
• When applied to sequences of values , automatically iterate over the sequences , looking for a pair of values that satisfies the comparison this process is called existential quantification
  ）施加于一系列值时，则会自动地对该序列进行迭代，寻找满足比较（此过程称作存在量化（ existential quantification ） ）条件的一对值。